sequence n. 1.繼續(xù);接續(xù);連續(xù)。 2.順序;程序;次第;關(guān)系;關(guān)聯(lián)。 3.后果;結(jié)果;接著發(fā)生的事;后事;后文。 4.【數(shù)學(xué)】數(shù)列;序列;數(shù)貫。 5.【無(wú)、計(jì)】指令序列;定序。 6.【計(jì)算機(jī)】順序機(jī)〔將信息項(xiàng)目排成順序的機(jī)器〕。 7.【音樂(lè)】用不同音調(diào)反復(fù)演奏一組樂(lè)句。 8.【天主教】宣講福音前唱的圣歌。 9.【牌戲】順。 10.【電影】(描述同一主題的)連續(xù)鏡頭;片斷,插曲;場(chǎng)景。 a logical sequence 條理;邏輯順序。 a causal [physical] sequence 因果關(guān)系。 the natural sequence to [for] folly 愚笨行為的必然結(jié)果。 in rapid sequence 一個(gè)接著一個(gè);緊接著。 in regular sequence 挨次;按次序;逐一;有條不紊地。 in sequence 挨次;順次;逐一。 sequence of tenses 【語(yǔ)法】時(shí)態(tài)的配合[接續(xù),呼應(yīng)]。
Jiangjun tang ( computer software and theory ) directed by huimin lin a method for selecting test synchronization sequences for concurrent programs is presented 本文提出一種基于帶賦值符號(hào)遷移系統(tǒng)stga選取測(cè)試同步序列的方法。
In this paper , we propose a strategy for selecting synchronization sequences from java multi - thread program based on the analyzing of reading and writing on shared variable , and implemented a deterministic testing framework of java multi - thread program by using the dynamic proxy class . a reachability testing system of java multi - thread program is constructed by the strategy and the deterministic testing framework 本文提出了一種基于共享變量讀寫(xiě)操作分析的java多線程程序同步序列生成策略,采用動(dòng)態(tài)代理類(lèi)proxy實(shí)現(xiàn)了java多線程程序確定性測(cè)試框架系統(tǒng),從而實(shí)現(xiàn)了一個(gè)java多線程可達(dá)性測(cè)試系統(tǒng)。